RCS "$Id: MuCalculus.sig,v 1.8 1998/08/13 11:38:53 pxs Exp $";
(* The logic visible to the user of the CWB.*)
signature MU_CALCULUS =
sig
  structure M : MODALITY_COMPLEX

   type param
   type prop

   val printStringParam : param -> string
   val printString : prop -> string
end

